🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

The Generativity Pattern in Rust
arhan.sh·19h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
How Rust powers Proton Authenticator
proton.me·18h
🦀Embedded Rust
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·3m
🌳Persistent Data Structures
Oxidizing Fedora 🦀
weeklyrust.substack.com·21h·
Discuss: Substack
🦀Embedded Rust
I bombed a memory management question in an interview, so I built a testing lab to understand what really happens when Rust and C allocators collide!
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·20h·
Discuss: Hacker News
🦀Rust Macros
Software Internals Book Club
eatonphil.com·7h
⚙️Operating System Design
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·6h
✅Archive Validation
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Week 31 Status
blogs.gnome.org·14h
🎯Gradual Typing
Part 1: A Deep Dive into Rust and C Memory Interoperability
notashes.me·22h·
Discuss: Hacker News, r/programming
🔩Systems Programming
Surgical Rewrite from Go to Rust
wxiaoyun.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Simple Methods Defend RAG Systems Well Against Real-World Attacks
arxiv.org·9h
🔐Systems Hardening
Vibe coding complex changes in Rust
youtube.com·3d
🦀Rust Macros
A New Concurrent ML in Guile Scheme
wingolog.org·4h·
Discuss: Hacker News
🔄Lens Laws
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types
Egui.NET: unofficial C# bindings for the easy-to-use Rust UI library
github.com·1d
🦀Rust Macros
Axum Is Shaping the Future of Web Development in Rust
dev.to·21h·
Discuss: DEV
🔒Linear Types
Running C++ on Cloudflare WASM
saus.app·2d·
Discuss: Hacker News
🧩WASM Components
Generalizing over mutability in Rust
alexsaveau.dev·6d
🦀Rust Macros